derivative of log x